Nuprl Definition : abmonoid 13,42
AbMon == {g:Mon| Comm(|g|;*)}  
latex

clarification:

AbMon{i} == {g:Mon{i}| Comm(|g|;*g)}  
latex

Upgroups 1
Wellformedness Lemmasabmonoid wf
DefinitionsMon, Comm(T;op), |g|, *

origin